Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
801	Scalable End-User Access to Big Data Diego Calvanese KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy Free University of Bozen-Bolzano Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2014-09-11 03:24:39 Science Data Semantic Web Knowledge representation Knowledge engineering Ontology Database Description logic Information science Information Database management systems
802	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
803	2014 \| Hau: Journal of Ethnographic Theory 4 (2): 245–252 Book Symposium Thinking like a mountain Anand Pandian, Johns Hopkins University Add to Reading List Source URL: anthropology.jhu.edu Language: English Philosophy of science Logic Thought Philosophical logic Pragmatism Cinema 1: The Movement Image Idea Pragmatic maxim Inquiry Philosophy Charles Sanders Peirce Science
804	R.E.G. UPSHUR and ERROL COLAK ARGUMENTATION AND EVIDENCE ABSTRACT. This essay explores the role of informal logic and its application in the context of current debates regarding evidence-based medicine. This aim is achi Add to Reading List Source URL: www.cfpb.nl Language: English - Date: 2009-09-26 14:14:45 Critical thinking Arguments Reasoning Design of experiments Argumentation theory Doug Walton Informal logic Evidence-based medicine Stephen Toulmin Science Knowledge Logic
805	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science
806	Axiomatizing Complex Concepts from Fundamentals Jerry R. Hobbs and Andrew Gordon University of Southern California Marina del Rey, California, USA No Institute Given Add to Reading List Source URL: people.ict.usc.edu Language: English - Date: 2014-03-10 12:47:56 Natural language processing First-order logic Science Artificial intelligence Logic Knowledge representation Logic form
807	A field based representation for vague areas defined by spatial prepositions Mark M. Hall, Christopher B. Jones School of Computer Science Cardiff University Cardiff CF24 3AA, Wales, United Kingdom [M.M.Hall, C.B.Jones]@ Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2008-11-24 18:48:37 Fuzzy logic Spatial data analysis Geography Artificial intelligence Logic in computer science Spatial analysis Geographic information system Spatial–temporal reasoning Active contour model Statistics Logic Mathematical logic
808	COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple, Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Mathematical logic Logic in computer science Substructural logic Hoare logic Logic Separation logic Hoare Correctness Predicate transformer semantics Program logic Theoretical computer science Mathematics
809	Fuzzy Spatial Data Types for Spatial Uncertainty Management in Databases Markus Schneider University of Florida Department of Computer & Information Science & Engineering Gainesville, FL 32611, USA Add to Reading List Source URL: www.cise.ufl.edu Language: English - Date: 2007-06-19 17:35:57 Fuzzy concept Fuzzy set Spatial analysis Rough set Membership function Spatial database Vagueness Type-2 fuzzy sets and systems Fuzzy classification Logic Fuzzy logic Mathematical logic
810	Expecting the Unexpected: to what extent does simulation help professionals to prepare for rare events in childbearing? Angela Hewett, School of Healthcare. Add to Reading List Source URL: www.leeds.ac.uk Language: English - Date: 2013-01-23 11:18:53 Pregnancy Logic simulation Quantitative analyst Mathematical sciences Science Medicine Operations research Simulation Obstetrics

UPDATE